41. Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
F68
1993
42. Foundations of computer technology
پدیدآورنده : Anderson, A. John
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers , Microprocessors , Computer software
رده :
QA
76
.
5
.
A52
1994
43. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
پدیدآورنده : K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
338
44. Infoworld consumer product guide
پدیدآورنده : Editor Jeff Angus
موضوع : Electronic digital computers- Evaluation,Computer software- Evaluation
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
45. Instrumentation for future parallel computing systems
پدیدآورنده : edited by Margaret Simmons, Rebecca Koskela, Ingrid Bucher
موضوع : Parallel computers,Electronic digital computers--Evaluation,Computer software--Evaluation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
46. Instrumentation for future parallel computing systems
پدیدآورنده : SIMMONS,MARGARET
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PARALLEL COMPUTERS , ELECTRONIC DIGITAL COMPUTERS-EVALUATION , COMPUTER SOFTWARE-EVALUATION
رده :
QA
76
.
5
.
I4875
1988
47. Introduction to fuzzy reliability
پدیدآورنده : Cai, Kai-Yuan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Reliability )Engineering(,، Electronic digital computers - Reliability,Reliability ، Computer software,، Fuzzy sets,، Fuzzy logic
رده :
TA
169
.
C35
1996
48. Introduction to fuzzy reliability
پدیدآورنده : Cai, Kai-Yuan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Reliability )Engineering(,Reliability ، Electronic digital computers,Reliability ، Computer software,، Fuzzy sets,، Fuzzy logic
رده :
TA
169
.
C35
1996
49. Larch
پدیدآورنده : John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
موضوع : Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
50. Mathematics of dependable systems : based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 1993
پدیدآورنده : edited by Chris Mitchell and Victoria Stavridou
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Reliability - Mathematical models - Congresses , Electronic digital computers - Reliability - Mathematical models - Congresses
رده :
QA
76
.
76
.
R44
M38
1993
51. Proceedings : COMPSAC ... the IEEE Computer Society's ... International Computer Software & Applications Conference
پدیدآورنده : COMPSAC
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Congresses,، Computer software-- Congresses
رده :
QA
76
.
6
.
C6296a
52. Proceedings: COMPSAC 92 the Sixteenth Annual International Computer Softwre & Applications Conference, September 21- 25, 1992 Chicago, Illinois
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming- Congresses,، Electronic data processing Congresses,، Computer Software- Congresses
53. Proceedings of the Fifth International Workshop on Software and Perfomance : WOSP'5, Palma, Illes Balears, Spain, July 12-14, 2005
پدیدآورنده : sponsored by Association for Computing Machinery SIGMETRICS and SIGSOFT, in cooperation with Computer Measurement Group )CMG(, IFIP WG 6.3 and 7.3
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
76
.
S95I698
2005
54. Proceedings of the third international workshop on software and performance: WOSP 2002, Rome, Italy, July 24-26, 2002
پدیدآورنده : sponsored by ACM SIGMETRICS and SIGSOFT with financial assistance from MICROSOFT and ERICSSON LAB Italy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
76
.
S95I698
2002
55. Proceedings : the Eighteenth Annual International Computer Software & Applications Conference )COMPSAC 94( : November 9-11, 1994, Taipei, Taiwan
پدیدآورنده : Sponsored by the IEEE Computer Society
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Electronic data processing - Congresses , Computer software - Congresses
رده :
QA
76
.
6
.
C6295
1994
56. Professional software
پدیدآورنده : Ledgard, Henry F., 3491-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer software- Development,، Electronic digital computers- Programming
57. Programing Techniques for software development
پدیدآورنده : Bebo White
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer software- Development,Electronic Digital Computers- Programing
رده :
QA
،
76
.
76
،.
D47
,
W48
،
1988
58. Programming techniques for software development
پدیدآورنده : / Bebo White
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer software - Development,Electronic digital computers - Programming
رده :
QA76
.
76
.
D47W48
1989
59. RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan
پدیدآورنده : edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
220
60. RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
پدیدآورنده : edited by Eiichi Goto ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
147